From 54a33b493471580534bc2a57b7cb5528328fedfb Mon Sep 17 00:00:00 2001
From: Joey Hess <joeyh@joeyh.name>
Date: Thu, 2 Oct 2025 13:28:40 -0400
Subject: [PATCH] make git-annex_$version tags in the downloads repo

Note the use of git tag -f, this way if it takes several tries to get a
release published, it will use the final one for the tag.

Tags have been retrospectively added for past releases, using this:

for v in $(git log --oneline --grep="publishing git-annex "| sed 's/ publishing git-annex / /'); do foo=$(echo "$v" | sed 's/ .*//'); bar=$(echo "$v" | sed 's/.* //');  git tag git-annex_"$bar" "$foo" ; done
---
 Build/DistributionUpdate.hs | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Build/DistributionUpdate.hs b/Build/DistributionUpdate.hs
index b7223fdfa3..bf3a1357a9 100644
--- a/Build/DistributionUpdate.hs
+++ b/Build/DistributionUpdate.hs
@@ -158,6 +158,11 @@ makeinfos updated changelogversion = do
 		, Param "-m"
 		, Param $ "updated info files for git-annex " ++ descversion
 		]
+	void $ inRepo $ runBool
+		[ Param "tag"
+		, Param "-f"
+		, Param ("git-annex_" ++ changelogversion)
+		]
 	void $ inRepo $ runBool
 		[ Param "annex"
 		, Param "move"
@@ -169,6 +174,11 @@ makeinfos updated changelogversion = do
 		[ Param "annex"
 		, Param "sync"
 		]
+	void $ inRepo $ runBool
+		[ Param "git"
+		, Param "push"
+		, Param "--tags"
+		]
 	
 	-- Check for out of date info files.
 	infos <- liftIO $ filter (literalOsPath ".info" `OS.isSuffixOf`)
-- 
2.30.2